#include <stdio.h>
#include "osek_trace.h"

#define TRACE_ON  1
#if (TRACE_ON == 1)
void logTCB(const char * msg, tskTCB * pTCB){
    printf("--------------------------------\n\
%s:\n\ttaskID: %d\n\
\ttaskName: %s\n\
\tpriority: %d\n\
\ttaskState: %d\n\
\tmaxActiveCount: %d\n\
\tcurrentActiveCount: %d\n\
--------------------------------\n", msg, pTCB->taskID, pTCB->pcTaskName, (int)pTCB->uxPriority, pTCB->taskState, pTCB->maxActivateCount, pTCB->currentActivateCount);
}
#else
void logTCB(const char *msg, tskTCB *pTCB){}
#endif
